
public class UpdateStateTable extends BaseBoundary {

	private StateTableVis currentST;
	private Sequence_StateObserverVis allSO;
	private EventCondReactVis currentEVCR;

	/**
	 * 
	 * @param stVis
	 * @param allSO
	 * @param evCondReact
	 * @return 
	 */
	public void mkUpdateStateTable(StateTableVis stVis, Sequence_StateObserver allSO, EventCondReactVis evCondReact) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param stVis
	 * @return 
	 */
	public void setST(StateTableVis stVis) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param soUsed
	 * @return 
	 */
	public void selectUsedSO(Sequence_StateObserver soUsed) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param evcr
	 * @return 
	 */
	public void setEVCR(EventCondReactVis evcr) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param splitted
	 * @return 
	 */
	public void splitCR(Sequence_SplitInfo splitted) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void generateStates() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param row
	 * @param name
	 * @return 
	 */
	public void defineState(Row row, String name) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void splitCR() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void validateST() {
		throw new UnsupportedOperationException();
	}

}